Link to record in KAR
نویسندگان
چکیده
This paper discusses the uni cation of Z speci cations in particular speci cations that maintain di erent representations of what is intended to be the same datatype Essentially this amounts to integrating previously published techniques for combining multiple viewpoints and for combining multiple views It is shown how the technique proposed in this paper indeed produces uni ca tions and that it generalises both previous techniques
منابع مشابه
Kent Academic Repository Versions of Research Enquiries Citation for Published Version Link to Record in Kar Document Version the Control of Attention to Faces
If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided at http://kar.kent.ac.uk/contact.html Citation for published version Bindemann, Markus and Burton, A. Mike and Langton, Stephen R. H. and Schweinberger, Stefan R. and Doherty, Martin J. (2007) The control of attention to faces. Journal of Vision, 7 (10:15). pp. 1-8. IS...
متن کاملProbabilistic Linkage of Persian Record with Missing Data
Extended Abstract. When the comprehensive information about a topic is scattered among two or more data sets, using only one of those data sets would lead to information loss available in other data sets. Hence, it is necessary to integrate scattered information to a comprehensive unique data set. On the other hand, sometimes we are interested in recognition of duplications in a data set. The i...
متن کاملبررسی تعادل پتاسیم - کلسیم در برخی از خاک های آهکی خراسان
The presence of large amounts of calcium in the equilibrium system of calcareous soils of arid and semi-arid regions affects the chemical reactions of soluble and exchangeable phases. Exchange phenomenon is one of these chemical reactions in which calcium plays an important role. K-Ca equilibria are important equilibria in calcareous soils and may be an answer to many problems in soil chemistry...
متن کاملبررسی تعادل پتاسیم - کلسیم در برخی از خاک های آهکی خراسان
The presence of large amounts of calcium in the equilibrium system of calcareous soils of arid and semi-arid regions affects the chemical reactions of soluble and exchangeable phases. Exchange phenomenon is one of these chemical reactions in which calcium plays an important role. K-Ca equilibria are important equilibria in calcareous soils and may be an answer to many problems in soil chemistry...
متن کاملCytotoxic and apoptotic effects of root extract and tanshinones isolated from Perovskia abrotanoides Kar
Objective(s):Perovskia abrotanoides Kar., from family Lamiaceae, is a little known medicinal plant growing in various regions of Iran. In the present study, cryptotanshinone (CT), tanshinone 2A (Tan2A), and hydroxycryptotanshinone (HCT) were isolated and purified from the roots of P. abrotanoides. In addition, cytotoxic and apoptotic effects of total root extract (TE) and three purified tanshin...
متن کامل